#include "print.h"

void prints(const char* s)
{
    printf("%s\n", s);
}

extern void print(int s)
{
    printf("%d\n", s);
}